The papers in this volume are the refereed application papers presented at AI-2007, the Twenty-seventh SGAI International ...
Lire la suiteThis volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative ...
Lire la suiteThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Lire la suiteThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lire la suiteThis volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Lire la suiteProceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 ...
Lire la suiteConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held ...
Lire la suiteThe book is intended both to provide an overview of hybrid metaheuristics to novices of the field, and to provide researchers ...
Lire la suiteThe 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Lire la suiteThe 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Lire la suiteIn this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Lire la suiteThis book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
Lire la suiteEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Lire la suiteThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suiteThe second of a two-volume set, this book constitutes the refereed proceedings of the Second International Work-Conference ...
Lire la suiteThis volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
Lire la suiteConstitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, ...
Lire la suite